Thomas theorem